Finding Substitutable Binary Code By Synthesizing Adapters
نویسندگان
چکیده
منابع مشابه
Finding Semantically-Equivalent Binary Code By Synthesizing Adaptors
Independently developed codebases typically contain many segments of code that perform same or closely related operations (semantic clones). Finding functionally equivalent segments enables applications like replacing a segment by a more efficient or more secure alternative. Such related segments often have different interfaces, so some glue code (an adapter) is needed to replace one with the o...
متن کاملFinding Cost-Efficient Adapters
When adapting services in a SOA environment, not only the validity of the adapter may be of importance, but also non-functional properties like the costs of the adapter. We introduce an approach for finding cost-efficient adapters based on the operating guideline, which characterizes all valid adapters for the given services.
متن کاملSynthesizing Hot Code Paths by Abductive Reasoning
Many SPMD programs suffer from divergence in control flow and memory accesses, e.g. when handling boundary conditions. While often only few work items diverge, a vectorizing compiler has to generate code that handles all of them. In general, this leads to overhead even for work groups that show no divergence. We present a novel optimization that synthesizes conditionals using abductive reasonin...
متن کاملLearning Substitutable Binary Plane Graph Grammars
While some heuristics exist for the learning of graph grammars, few has been done on the theoretical side. Due to complexity issues, the class of graphs has to be restricted: this paper deals with the subclass of plane graphs, which correspond to drawings of planar graphs. This allows us to introduce a new kind of graph grammars, using a face-replacement mechanism. To learn them, we extend rece...
متن کاملSynthesizing Certified Code
®b ̄±° ̈213l2μ ́·¶1 ̧»oo3Ò1⁄4W¶1 ̧3⁄4 ̄|¿h ̧3⁄4À#1⁄4 Â3⁄4 ̧3⁄4Ã|ÄA¶Åb2l ̧3⁄4Ã|ÄA¶)1⁄4Æ Æ ̈ ́1 ̄Ç1⁄41⁄23Äk¶1 ̄ ° 2lÈ ̄¿ Àɶ· ́i1⁄4W¶12 À· ̄1⁄2ÊE¶Å'1⁄41⁄2 ́12kËAÌo1⁄4Â3⁄4 ̧»¶Í ̄|¿1⁄4kÊ! ̄1⁄2 ́1È;1⁄4Â5Â3⁄42lÎ|2l£ÏnÐç¶1À Ñ 1⁄4À· ̧3⁄43` ̧Á° ̈2Ò1⁄4f ̧ÁÀ1¶1 ̄f ́12μæ ËAÌ ̧3⁄4 ́12n3l ̄±° 2nÆ ́1 ̄±° ̈Ì 3l2μ ́1Àh¶1 ̄Æ ́1 ̄Wα ̧Á° 2?Ê! ̄1⁄2 ́1È;1⁄4Â-ÓoÔ·ÕÒÕÖ×n¶1Ä 1⁄41⁄2¶h¶1Ä 2l ̧» ́ 3μ ̄±° 21À11⁄41⁄2¶1 ̧3⁄4ÀÉoo2μÀ+3l2μ ́·¶i1⁄41⁄2 ̧3⁄4¿?...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2019
ISSN: 0098-5589,1939-3520,2326-3881
DOI: 10.1109/tse.2019.2931000